Computer Science

Results: 55984



#Item
381

Some open problems in parameterized complexity Dániel Marx Institute for Computer Science and Control, Hungarian Academy of Sciences (MTA SZTAKI) Budapest, Hungary

Add to Reading List

Source URL: www.cs.bme.hu

Language: English - Date: 2017-01-23 13:47:57
    382

    Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems Gerhard Brewka Thomas Eiter Dept. of Computer Science

    Add to Reading List

    Source URL: www.informatik.uni-leipzig.de

    Language: English - Date: 2007-06-05 03:10:37
      383

      Xiaojuan Ma, Curriculum Vitae Department of Computer Science and Engineering The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong (+

      Add to Reading List

      Source URL: www.cse.ust.hk

      Language: English - Date: 2018-05-01 10:04:22
        384

        Selection and Presentation Practices for Code Example Summarization Annie T. T. Ying and Martin P. Robillard School of Computer Science McGill University, Montréal, Canada

        Add to Reading List

        Source URL: www.annieying.ca

        Language: English - Date: 2014-10-24 09:41:57
          385

          Virtual Time and Global States of Distributed Systems  Friedemann Mattern y Department of Computer Science, University of Kaiserslautem D 6750 Kaiserslautern, Germany Abstract

          Add to Reading List

          Source URL: fileadmin.cs.lth.se

          Language: English - Date: 2013-06-17 07:42:21
            386

            Transforming Dependencies into Phrase Structures Alexander M. Rush Noah A. Smith Lingpeng Kong Facebook AI Research School of Computer Science

            Add to Reading List

            Source URL: people.seas.harvard.edu

            Language: English - Date: 2018-07-02 10:24:03
              387

              Twisted Hessian curves Daniel J. Bernstein1,2 , Chitchanok Chuengsatiansup1 , David Kohel3 , and Tanja Lange1 1 Department of Mathematics and Computer Science

              Add to Reading List

              Source URL: www.i2m.univ-amu.fr

              Language: English - Date: 2015-09-01 15:57:48
                388

                RedUNCI RED DE UNIVERSIDADES CON CARRERAS DE INFORMÁTICA Computer Science & Technology Series XX Argentine Congress of Computer Science Selected Papers

                Add to Reading List

                Source URL: sistemas.unla.edu.ar

                Language: English - Date: 2015-11-02 20:50:20
                  389

                  Hot-Patching a Web Server: a Case Study of ASAP Code Repair Mathias Payer*, Thomas R. Gross Department of Computer Science ETH Zurich * now at UC Berkeley

                  Add to Reading List

                  Source URL: nebelwelt.net

                  Language: English - Date: 2018-08-13 04:44:10
                    390

                    Formal Methods for MILS: Formalisations of the GWV Firewall Ruud Koolen and Julien Schmaltz Eindhoven University of Technology Department of Mathematics and Computer Science

                    Add to Reading List

                    Source URL: mils-workshop-2015.mils.community

                    Language: English - Date: 2015-01-27 02:22:52
                      UPDATE